<?php//Comprobar si la sesión ya fue iniciadaif (!isset($_SESSION)) {    session_start();}$rutaPrincipal = "index.php";if (!isset($_SESSION["ID_USER"]) ||        !isset($_SESSION["USER"]) ||        !isset($_SESSION["SESION"])) {        header("Location: $rutaPrincipal");        exit();}?>